Support for Design by ContractTM in the C# Programming Language.
نویسندگان
چکیده
منابع مشابه
Support for Design by ContractTM in the CTM Programming Language
There is evidence that “contracts,” or assertion techniques involving preconditions, postconditions, and invariants, have a positive effect on overall software quality. Regrettably, very few programming languages support these techniques. Since the advent of Bertrand Meyer’s Design by ContractTM method, introduced in the language Eiffel, a number of systems have been built to implement support ...
متن کاملA Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ContractTM (DBC) was developed by Bertrand Meyer and is supported by the Eiffel programming language. Eiffel provides support for checking preconditions, postconditions, and class invariants automatically at runtime. E...
متن کاملstudy of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
willingness to communicate in the iranian context: language learning orientation and social support
why some learners are willing to communicate in english, concurrently others are not, has been an intensive investigation in l2 education. willingness to communicate (wtc) proposed as initiating to communicate while given a choice has recently played a crucial role in l2 learning. it was hypothesized that wtc would be associated with language learning orientations (llos) as well as social suppo...
Automatic Testing Based on Design by ContractTM
Although its importance is widely recognized, testing is seldom done properly. The reasons for this include under-allocation of resources for the testing activity, lack of proper tool support, and developers’ reluctance towards testing. To tackle these issues, we propose the full automation of the testing process for contract-equipped classes. According to the principles of Design by ContractTM...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2005
ISSN: 1660-1769
DOI: 10.5381/jot.2005.4.7.a2